Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
by Christopher A. Rouff,Michael G. Hinchey,James Rash,Walter Truszkowski,Diana Gordon-Spears
ISBN 13: 9781852339470
Format: Hardcover (360 pages) Publisher: Springer Published: 26 Oct 2005
Save for later
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... / Programming and Software Engineering)
by
ISBN 13: 9783540766483
Format: Paperback (387 pages) Publisher: Springer Published: 07 Nov 2007